Merge pull request #8196 from commodo/python-batch-updates
authorHannu Nyman <[email protected]>
Tue, 12 Feb 2019 17:32:41 +0000 (19:32 +0200)
committerGitHub <[email protected]>
Tue, 12 Feb 2019 17:32:41 +0000 (19:32 +0200)
python,python3: batch updates


Trivial merge